An Analytical Method Forparallelization of Recursive
نویسنده
چکیده
Received (received date) Revised (revised date) Communicated by Christian Lengauer ABSTRACT Programming with parallel skeletons is an attractive framework because it encourages programmers to develop eecient and portable parallel programs. However, extracting parallelism from sequential speciications and constructing eecient parallel programs using the skeletons are still diicult tasks. In this paper, we propose an analytical approach to transforming recursive functions on general recursive data structures into compositions of parallel skeletons. Using static slicing, we have deened a classiication of subexpressions based on their data-parallelism. Then, skeleton-based parallel programs are generated from the classiication. To extend the scope of parallelization, we have adopted more general parallel skeletons which do not require the associativity of argument functions. In this way, our analytical method can parallelize recursive functions with complex data ows.
منابع مشابه
AIOSC: Analytical Integer Word-length Optimization based on System Characteristics for Recursive Fixed-point LTI Systems
The integer word-length optimization known as range analysis (RA) of the fixed-point designs is a challenging problem in high level synthesis and optimization of linear-time-invariant (LTI) systems. The analysis has significant effects on the resource usage, accuracy and efficiency of the final implementation, as well as the optimization time. Conventional methods in recursive LTI systems suffe...
متن کاملA Novel Reference Current Calculation Method for Shunt Active Power Filters using a Recursive Algebraic Approach
This paper presents a novel method to calculate the reference source current and the referencecompensating current for shunt active power filters (SAPFs). This method first calculates theamplitude and phase of the fundamental load current from a recursive algebraic approach blockbefore calculating the displacement power factor. Next, the amplitude of the reference mains currentis computed with ...
متن کاملRecursive valuation of Basket Default Swaps
In this paper we consider an analytical valuation of Basket Default Swaps. Our solution is based on a continuous-time model in a conditional independence framework. We use the order statistics of the default times of the names in the basket to find a recursive algorithm for computation of the risk-neutral distribution of the default process of the basket. We derive an analytical expression for ...
متن کاملApplication of Recursive Least Squares to Efficient Blunder Detection in Linear Models
In many geodetic applications a large number of observations are being measured to estimate the unknown parameters. The unbiasedness property of the estimated parameters is only ensured if there is no bias (e.g. systematic effect) or falsifying observations, which are also known as outliers. One of the most important steps towards obtaining a coherent analysis for the parameter estimation is th...
متن کاملAn Analytical Method for Parallelization of Recursive Functions
Programming with parallel skeletons is an attractive framework because it encourages programmers to develop e cient and portable parallel programs. However, extracting parallelism from sequential speci cations and constructing e cient parallel programs using the skeletons are still di cult tasks. In this paper, we propose an analytical approach to transforming recursive functions on general rec...
متن کامل